21. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
پدیدآورنده : edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
15
22. Research in History and Philosophy of Mathematics
پدیدآورنده : \ Maria Zack, Elaine Landry Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Canadian Society for the History and Philosophy of Mathematics -- Congresses.,Canadian Society for the History and Philosophy of Mathematics,Mathematics -- History -- Congresses.,ریاضیات -- تاریخ -- کنگره ها
رده :
QA
27
.
R4
2015
E-Book
,
23. Research in History and Philosophy of Mathematics
پدیدآورنده : \ Maria Zack, Dirk Schlimm Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Canadian Society for the History and Philosophy of Mathematics -- Congresses.,Mathematics -- History -- Congresses.,ریاضیات -- تاریخ -- کنگره ها
رده :
E-Book
,
24. Simplicity
پدیدآورنده : \ Roman Kossak, Philip Ording Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy -- Congresses.,Art -- Philosophy -- Congresses.,ریاضیات -- فلسفه -- کنگره ها,هنر -- فلسفه -- کنگره ها
رده :
E-Book
,
25. Thabit ibn Qurra
پدیدآورنده : \ edited by Roshdi Rashed
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics, Arab -- Congresses,Mathematicians -- Iraq -- Baghdad -- Congresses,Islamic philosophy -- History -- To 1500 -- Congresses,Islamic philosophy -- Texts, Translations into French,Islam and science -- Congresses,Astronomy -- Arab -- Congresses,Islamic learning and scholarship -- Iraq -- Baghdad -- Congresses,ریاضیات اسلامی -- کنگره‌ها ,ریاضیات -- عراق -- بغداد -- کنگره‌ها,فلسفه اسلامی -- تاریخ -- از آغار تا ۱۵۰۰م. -- کنگره ها
رده :
QA27
.
A67
T43
2009
26. The Philosophy of Michael Dummett /
پدیدآورنده : edited by Brian McGuinness and Gianluigi Oliveri.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Dummett, Michael,1925-2011,Dummett, Michael,1925-2011.,Dummett, Michael,1925-2011,Language and languages-- Philosophy, Congresses.,Mathematics-- Philosophy, Congresses.,Analytische filosofie.,Filosofia da ciencia.,Filosofia da linguagem.,Language and languages-- Philosophy.,Matematica.,Mathematics-- Philosophy.,Wiskunde.
رده :
B1626
.
D854
P48
1994
27. The Philosophy of mathematics today
پدیدآورنده : edited by Matthias Schirn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : History -- 02th century -- Congresses ، Mathematics -- Philosophy
رده :
QA
8
.
P435
28. The Space of mathematics : philosophical, epistemological, and historical explorations
پدیدآورنده : edited by Javier Echeverria, Andoni Ibarra, Thomas Mormann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Mathematics -- Philosophy,History -- Congresses ، Mathematics
رده :
QA
8
.
S63
1992
29. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
30. Towards mathematical philosophy
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
31. Towards mathematical philosophy
پدیدآورنده : / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical--Congresses,Mathematics--Philosophy--Congresses
رده :
QA
,
9
,.
A1
,
T68
,
2008
32. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده : edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
33. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده : Makinson, David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
34. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
